COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00005 00003	.LTR(Professor Meier Weinstein)
C00008 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50

.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 3 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 3 THEN "∨"  ELSE "fαl" ⊃;

.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃

.MACRO LTR(name,dat)  ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or  415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃

.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
	Douglas B. Lenat
	Artificial Intelligence Laboratory
	Stanford University
	Stanford, California  94305
.END APART ⊃

.MACRO DBL ⊂ GROUP BEGIN SKIP 3; NOFILL  CENTER
Sincerely,
.SKIP 6
Doug  Lenat
.END APART ⊃

.portion main
.page←1
.LTR(Professor Meier Weinstein)
Information Sciences Department
286-80
California Institute of Technology
Pasadena, California 91109
.FAC

Dear Meier,

Greetings!  I hope this quarter has been a productive one for you.

I managed to get the Goldsteins' tape out of the Soviet Union, and
the local Council on Soviet Jewery is distributing copies of it.
No doubt you've heard that Isai was drafted; please let me know if you
learn the outcome of that crisis.

As you may recall,
I'm a fourth-year grad student in Stanford's CS department. I expect to
receive my Ph.D. by next Fall.
For my dissertation,
I've been working on a program which can develop
simple mathematical concepts, which aims at
expertise in theorem %2proposing%* rather than theorem %2proving%*.
It uses
skills from %2automatic programming%* to tackle a %2theory
formation%* task. An abstract of the project is enclosed.

My committee consists of Ed Feigenbaum, Cordell Green,
Bruce Buchanan, and Don Knuth. 
I am interested
in a faculty position for next year, and would welcome the opportunity to
discuss the matter with you. 
One of my biggest "growth" periods was the
summer of 1972, which I spent in your department.
I could visit Caltech sometime this Winter,
to give a colloquium on my dissertation research.
I will be in Anaheim for ACM76, on February 9-12; other than that,
I have no definite commitments yet for February.


.DBL